Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation

In this paper, we propose a new general method to compute rigorously global smooth branches of equilibria of higher-dimensional partial differential equations. The theoretical framework is based on a combination of the theory introduced in Global smooth solution curves using rigorous branch following [2] and in Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs [11]. Using this method, one can obtain proofs of existence of global smooth solution curves of equilibria for large (continuous) parameter ranges and about local uniqueness of the solutions on the curve. As an application, we compute several smooth branches of equilibria for the three-dimensional Cahn-Hilliard equation.